A signalizer functor theorem for groups of finite Morley rank

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. Towards this end, the development of the theory of groups of finite Morley rank has achieved a good theory of Sylow 2-subgroups. It is now common practice to divide the Cherlin-Zilber conjecture into different cases depending on the nature of the connected component of the Sylow 2-subgroup, known as the Sylow◦ 2subgroup. We shall be working with groups whose Sylow◦ 2-subgroup is divisible, or odd type groups. To date, the main theorem in the area of odd type groups is Borovik’s trichotomy theorem [Bor95, Theorem 6.19]. The “trichotomy” here is a case division of the minimal counterexamples within odd type. More technically, Borovik’s result represents a major success at transferring signalizer functors and their applications from finite group theory to the finite Morley rank setting. The major difference between the two settings is the absence of a solvable signalizer functor theorem. This forced Borovik to work only with nilpotent signalizer functors, and the trichotomy theorem ends up depending on the assumption of tameness to assure that the necessary signalizer functors are nilpotent. The present paper shows that one may obtain a connected nilpotent signalizer functor from any sufficiently non-trivial solvable signalizer functor. This result plugs seamlessly into Borovik’s work to eliminate the assumption of tameness from his trichotomy theorem. In the meantime, a new approach to the trichotomy theorem has been developed by Borovik [Bor03], based on the “Generic